#include <stdio.h>

int num[10];
int main(){
	char c;
	while( (c=getchar())!='\n' ){
		++num[c-48];
	}
	for(int i=0; i<10; ++i )
		if( num[i]>0 )
			printf("%d:%d\n",i,num[i]);
	return 0;
}
